51![The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,](https://www.pdfsearch.io/img/f6da83e58e88f08e55ef7ecd9d4ef0da.jpg) | Add to Reading ListSource URL: cervone.psu.eduLanguage: English - Date: 2015-11-18 09:12:46
|
---|
52![Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689 Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689](https://www.pdfsearch.io/img/aa567adbaebfab8600d51a71091857e9.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2012-02-13 10:20:07
|
---|
53![A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,](https://www.pdfsearch.io/img/227c48cac9110014fc2306f7f6eb1f5c.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2008-06-25 07:48:56
|
---|
54![PML : A new proof assistant and deduction system Christophe Raffalli LAMA PML : A new proof assistant and deduction system Christophe Raffalli LAMA](https://www.pdfsearch.io/img/a48084933cf1626e4e7d431798f58a4d.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.frLanguage: English - Date: 2007-07-02 08:10:34
|
---|
55![Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t](https://www.pdfsearch.io/img/416a3f794a75b91f390fc2ad5aac88b2.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-21 06:02:19
|
---|
56![Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski](https://www.pdfsearch.io/img/1054d8b56dd3f84c4c099963186fe06b.jpg) | Add to Reading ListSource URL: mizar.auburn.eduLanguage: English - Date: 2016-07-29 01:16:07
|
---|
57![In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002](https://www.pdfsearch.io/img/b64ce060504d992257d9aaf8311d4bd4.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2002-10-02 04:22:36
|
---|
58![Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,](https://www.pdfsearch.io/img/aae6d6f1db05d7dfa86397786e010e3e.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
59![Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3](https://www.pdfsearch.io/img/d7f78f342a18700520e3a0a29f0d0087.jpg) | Add to Reading ListSource URL: cpcc.berkeley.eduLanguage: English - Date: 2016-06-12 17:08:37
|
---|
60![TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1](https://www.pdfsearch.io/img/b8c778dbb44e925ee919f54327c1379a.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-03-07 09:24:09
|
---|